Teoría de la demostración
RAMA DE LA LÓGICA MATEMÁTICA
Teoría de la prueba; Teoria de la prueba; Teoria de la demostracion; Teoria de la demostración; Teoría de la demostracion
La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas lógicos.